#include <stdio.h>
#include <stdlib.h>

int main (int argc, char **argv)
{
	printf("Hello world");
	return 0;
}
